Nonuniform Reductions and NP-Completeness
نویسندگان
چکیده
Nonuniformity is a central concept in computational complexity with powerful connections to circuit and randomness. Nonuniform reductions have been used study the isomorphism conjecture for NP completeness larger classes. We power of nonuniform NP-completeness, obtaining both separations upper bounds vs uniform complessness NP. Under various hypotheses, we obtain following separations: also consider on completeness. Hirahara (2015) showed that unconditionally every set complete under truth-table use logarithmic advice uniformly Turing-complete. show derandomization hypothesis, complete.
منابع مشابه
Nonuniform Reductions and NP-Completeness
Nonuniformity is a central concept in computational complexity with powerful connections to circuit complexity and randomness. Nonuniform reductions have been used to study the isomorphism conjecture for NP and completeness for larger complexity classes. We study the power of nonuniform reductions for NP-completeness, obtaining both separations and upper bounds for nonuniform completeness vs un...
متن کاملContractibility and NP-completeness
For a fixed graph H, let H-CON denote the problem of determining whether a given graph is contractible to H. The complexity of H-CON is studied for H belonging to certain classes of graphs, together covering all connected graphs of order at most 4. In particular, H-CON is NP-complete if H is a connected triangle-free graph other than a star. For each connected graph H of order a t most 4 other ...
متن کاملBroadcasting and NP - completeness
In this note, we answer two questions arising in broadcasting problems in networks. We rst describe a new family of minimum broadcast graphs. Then we give a proof due to Alon of the NP-completeness of nding disjoint spanning trees of minimum depth, rooted at a given vertex.
متن کاملNP-Completeness and Disjoint NP-Pairs
We study the question of whether the class DisjNP of disjoint pairs (A,B) of NPsets contains a complete pair. The question relates to the question of whether optimal proof systems exist, and we relate it to the previously studied question of whether there exists a disjoint pair of NP-sets that is NP-hard. We show under reasonable hypotheses that nonsymmetric disjoint NP-pairs exist, which provi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory of computing systems
سال: 2022
ISSN: ['1432-4350', '1433-0490']
DOI: https://doi.org/10.1007/s00224-022-10083-y